1. Extensional Godel functional interpretation; a consistency proof of classical analysis
Author: Luckhardt, Horst
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory,، Intuitionistic mathematics
Classification :
QA
3
.
L28
no
.
306
2. Extensional Godel functional interpretation : a consistency proof of classical analysis
Author: Luckhardt, Horst
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Proof theory,، Intuitionistic mathematics
Classification :
QA
9
.
L8
1973
